Integrating Dynamic Aspects into Deductive Object-Oriented Databases

We show how the dynamics of database systems can be mod eled by making states rst class citizens in an object oriented deductive database language With states at the same time acting as objects meth ods or classes several concepts of dynamic entities can be implemented allowing an intuitive declarative modeling of the application domain Exploiting the natural strati cation induced by the state sequence the approach also provides an implementable operational semantics The method is applicable to arbitrary object oriented deductive database languages which provide a su ciently exible syntax and semantics Pro vided an implementation of the underlying database language any spec i cation in the presented framework is directly executable thus unifying speci cation implementation and metalanguage for proving properties of a system The concept is applied to F Logic Besides the declarative semantics given by the rules of a State F Logic program the use of F Logic s inher itance semantics for modeling states provides an e ective operational se mantics exploiting the naturally given state strati cation State F Logic programs can be executed using the Florid implementation